formalized computer program
英 [ˈfɔːməlaɪzd kəmˈpjuːtə(r) ˈprəʊɡræm]
美 [ˈfɔːrməlaɪzd kəmˈpjuːtər ˈproʊɡræm]
网络 形式化计算机程序
双语例句
- This paper also proposed a descriptive language of formal rules based on BNF and production rule, formalized the processing rules for consecutive verb and implemented the rules by computer program.
同时，还提出了一种基于BNF范式和产生式规则的形式化规则描述语言，完成了对规则的形式化描述和软件实现。